Search Results
ICFP 2012 Weds keynote. Peter Sewell: Tales from the jungle.
Sofa King Awesome - ICFP 2012
ICFP 2012 Tuesday keynote. Kunle Olukotun: High Performance Embedded Domain Specific Languages.
ICFP 2012 Monday keynote. Conor McBride: Agda-curious?
ICFP Session 1
ICFP 2012. Ben Lippmeier: Work-efficient higher-order vectorisation.
ICFP Session 2
Haskell Symposium 2012. The closing discussion, led by Aaron Contorer of FP Complete.
ICFP 2012. Will Jones: Deconstraining DSLs.
ICFP 2012. Magnus Myreen: Proof-Producing Synthesis of ML from Higher-Order Logic.
ICFP 2012. Christian Höner zu Siederdissen: Sneaking around concatMap
Peter Sewell – Why are computers so @#!*, and what can we do about it?
